Change both 'enabled-extensions' and 'disabled-extensions' keys as in
commit
ce1bee727. While those actions are now also exposed by the
shell's D-Bus API, there is some value in allowing the tool to be used
outside a running GNOME session (for example in setup scripts), so
keep changing the GSettings keys directly.
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
if (settings == NULL)
return FALSE;
- return settings_list_remove (settings, "enabled-extensions", uuid);
+ return settings_list_remove (settings, "enabled-extensions", uuid) &&
+ settings_list_add (settings, "disabled-extensions", uuid);
}
int
if (settings == NULL)
return FALSE;
- return settings_list_add (settings, "enabled-extensions", uuid);
+ return settings_list_add (settings, "enabled-extensions", uuid) &&
+ settings_list_remove (settings, "disabled-extensions", uuid);
}
int